扫一扫
关注中图网
官方微博
-
亚里士多德《政治学》校注(1-4)
¥2592.0(7.2折)定价:¥3600.0影印本。亚里士多德的《政治学》是古希腊有名法学作品，是亚里士多德作品的重要组成部分。本书是英国哲学家和历史学家威廉·兰伯特·纽曼的英文译本和注释本。本书全文影印纽曼的英译本。含有引言、论文、注释等，是百年来研究亚里士多德政治思想的重要著作，具有一定的出版价值...
-
用TLA+定义系统 TLA+语言与工具在软硬件设计中的应用
¥101.5(7.3折)定价:¥139.0本书系统介绍了形式化建模语言TLA+以及模型检查工具TLC，并结合若干案例，深入浅出地描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。本书分为五个部分。部分包含大多数程序员和工程师需要了解的有关编写系统规约（即建立模型）的所有信息；第二部分包含更不错的示例与材料，供需要进阶的读者使用；第三部分和第四部分为TLA+的参考手册，包括语言本身的数学定义及工具的原理与使用；第五部分介绍在基础TLA
